deduction theorem - German English Dictionary